Laurent Granvilliers

Revising hull and box

Quelques applications de la propagation de contraintes sur les domaines continus en automatique

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...

Solving an Air Conditioning System Problem in an Embodiment Design Context Using Constraint Satisfaction Techniques

Combining Interval Constraint Solving Methods

This paper discusses the combination of interval methods for solving nonlinear systems, and focuses on interval-based local consistencies and the multidimensional interval Newton method. The existing algorithms are revised in order to introduce a more cooperative strategy of application of elementary solvers that may prevent slow convergence phenomena and unnecessary computations. A set of expe...

Directional Consistency for Continuous Numerical Constraints

Bounds consistency is usually enforced on continuous constraints by first decomposing them into binary and ternary primitives. This decomposition has long been shown to drastically slow down the computation of solutions. To tackle this, Benhamou et al. have introduced an algorithm that avoids formally decomposing constraints. Its better efficiency compared to the former method has already been ...